A Problem Reduction Approach to Program Synthesis
نویسنده
چکیده
Program synthesis is the transformation of a specification of a user's problem into a computer program. A problem reduction approach to program synthesis is presented. During synthesis the user's problem is decom posed in a top-down manner into a hierarchy of subprob lems. with directly solveable subproblems at the bottom. Solving these subproblems results in the bottom-up com position of a program whose structure reflects the subproblem hierarchy. The program is guaranteed to satisfy the specification and to terminate on all legal inputs. We illustrate this approach by presenting the knowledge needed to synthesize a class of divide and conquer algo rithms and by deriving a Merge sort algorithm.
منابع مشابه
Reducing the academic burnout of students with learning disabilities through attributional retraining, emotional regulation, and cognitive-social problem solving
objective: The aim of this research was to investigate and compare the effectiveness of attributional retraining program, emotion regulation and cognitive-social problem solving on reduction of academic burnout in students with early learning disabilities in Tehran. Method: This was a quasi-experimental study with pretest-posttest,and follow up. The participants consisted of 40 students with le...
متن کاملClose interval approximation of piecewise quadratic fuzzy numbers for fuzzy fractional program
The fuzzy approach has undergone a profound structural transformation in the past few decades. Numerous studies have been undertaken to explain fuzzy approach for linear and nonlinear programs. While, the findings in earlier studies have been conflicting, recent studies of competitive situations indicate that fractional programming problem has a positive impact on comparative scenario. We pro...
متن کاملP6: The Effectiveness of Didactic Approach on the Reduction of Death Obsession
Thanatology is the academic study of dying, death and grief. It encompasses thoughts, feelings, attitudes, events and the psychological mechanisms of dealing with them. Death obsession includes ruminations, repetitive, intrusive thoughts or images about death. Death obsession in the nursing profession can occur on a daily basis, and communication with dying patients can be stressful for nurses....
متن کاملA New Approach for Knowledge Based Systems Reduction using Rough Sets Theory (RESEARCH NOTE)
Problem of knowledge analysis for decision support system is the most difficult task of information systems. This paper presents a new approach based on notions of mathematical theory of Rough Sets to solve this problem. Using these concepts a systematic approach has been developed to reduce the size of decision database and extract reduced rules set from vague and uncertain data. The method ha...
متن کاملShortest Path Problem with Gamma Probability Distribution Arc Length
We propose a dynamic program to find the shortest path in a network having gamma probability distributions as arc lengths. Two operators of sum and comparison need to be adapted for the proposed dynamic program. Convolution approach is used to sum two gamma probability distributions being employed in the dynamic program.
متن کامل